Design of steel columns to bending and compression using effective length, notional...

Timing verification of the coupling between electric circuits simulating the behavior...

Formal verification of distribuited discrete systems

Experimental verification of the virtual electric quadruple photon spectrum

Belief revision in ACTL using bounded model checking

Hearing aid verification using visible speech mapping

Verification of diesel fuel lubricity behavior with addition of ethanol

Construction of an ohmic heating equipment and comparative analysis of green fluorescent...

Evaluation of the inspection checklist as an instrument of verification of hygienic-sanitary...

Grouting and drainage curtains efficacy verification in concrete dam foundations